:root {

  /* colors */
  --color-background: #FFF;
  --color-menu: rgb(240, 245, 243);
  --color-pre: rgba(240, 245, 243, 0.4);
  --color-body: #444;
  --color-alt: #777;
  --color-light: #BBB;
  --color-highlight: #ED7041;
  --color-link: #36967B;
  --color-literal: #8B599E;
  --color-attribute: #B55E3E;

  /* fonts */
  --font-body: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --font-mono: monospace;

  /* measurements */
  --max-width: 72em;
  --min-width: 800px;
  --menu-width: 16em;
  --size-body: 16px;
  --size-mono: calc(1em * 15 / 16);
  --line-height: calc(1em * 5 / 3);
  --mono-height: calc(1em * 4 / 3);
  --border-radius: calc(1em / 3);

}
